Lectures on Formal Methods and Performance Analysis: First EEF/Euro Summer School on Trends in Computer Science: First EEF/Euro Summer School on ... 2090 (Lecture Notes in Computer Science)
by Ed Brinksma,Holger Hermanns,Joost-Pieter Katoen
ISBN 13: 9783540424796
Format: Paperback (444 pages) Publisher: Springer Published: 29 Aug 2001
Save for later
Tools and Algorithms for the Construction and Analysis of Systems: First International Workshop, TACAS '95, Aarhus, Denmark, May 19 - 20, 1995. Selected Papers (Lecture Notes in Computer Science)
by Kim G. Larsen,Bernhard Steffen,Tiziana Margaria,W. Rance Cleaveland,Ed Brinksma
ISBN 13: 9783540606307
Format: Paperback (308 pages) Publisher: Springer Published: 13 Jun 2008